Formal Specification of Design Patterns - A Balanced Approach.
نویسندگان
چکیده
منابع مشابه
Formal Specification of Design Patterns - A Balanced Approach
Pattern users are faced with difficulties in understanding when and how to use the increasing number of available design patterns. This is mainly due to the inherent ambiguity in the existing means (textual and graphical) of describing them. Hence, there is a need to introduce formalism in order to describe them accurately and allow rigorous reasoning about them. The main problem of existing fo...
متن کاملFormal Modeling and Specification of Design Patterns Using RTPA
Software patterns are recognized as an ideal documentation of expert knowledge in software design and development. However, its formal model and semantics have not been generalized and matured. The traditional UML specifications and related formalization efforts cannot capture the essence of generic patterns precisely, understandably, and essentially. A generic mathematical model of patterns is...
متن کاملFormal Specification for Design Diversity: Two Case Histories, One Approach
Diverse programming is a recommended approach in the preparation of logic used to drive railway control systems, whereby different representations and processes are used to configure and validate the logic. This paper describes how two formal specifications have been used for the construction of a precise model of the logic, alternative to those represented using the user and machine notations,...
متن کاملDesign Recovery through Formal Specification
The benefits of formal methods in software development are well recognised and well documented. Design recovery involves analysing the source code and recovers the desired design elements based on design recovery specification. One way to ensure the correctness of the recovered design is to use formal methods in the process. This paper describes an approach to apply formal methods to design rec...
متن کاملA Formal Architectural Design Patterns-Based Approach to Software Understanding
Mastering the complexity of programs and systems, particularly distributed systems, should lead to signi cant improvements in program and system understanding. In this paper we present a formal approach for (distributed) software understanding based on abstraction hierarchies represented by architectural design patterns. This approach allows us to model the distributed software applications thr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2003
ISSN: 1660-1769
DOI: 10.5381/jot.2003.2.4.a4